c++ - 如何将 boost::iostreams::mapped_file_source 与 gzip 压缩的输入文件一起使用